9

Contracts for modular discrete controller synthesis

Year:
2010
Language:
english
File:
PDF, 476 KB
english, 2010
24

A programming language for adaptation control

Year:
2009
Language:
english
File:
PDF, 132 KB
english, 2009